Prove Set Equality